<?php
	function user_found()
	{
		return isset($_SESSION['user']);
	}

?>
